Property-based testing of batch-invariant operations
mmaaz.ca·9h·
Discuss: Hacker News
🎲Property Testing
ECS Implementation
reddit.com·23h·
Discuss: r/cpp
🤖Embedded Go
Automated Verification of Code Logic & Security Vulnerabilities via Hyperdimensional Semantic Analysis
dev.to·3h·
Discuss: DEV
🌳Pattern Match Compilation
PRISM-Physics: Causal DAG-Based Process Evaluation for Physics Reasoning
arxiv.org·4h
Type Checking
How Much Should You Tell Your AI Agent?
raymondyxu.com·14h·
Discuss: Hacker News
💬Interactive REPLs
Higher-Level Design Patterns
qouteall.fun·2d·
Discuss: Hacker News
Algebraic Effects
Recurse Checkins
404wolf.com·7h
🔄Bootstrapping
Domain Driven Design in Clojure with Generalized Hiccup
biotz.io·3d·
functional programming
Understanding the KV Cache (feat. Self-Attention)
dev.to·1h·
Discuss: DEV
🔄Subinterpreters
Python PEP 636 – Structural Pattern Matching: Tutorial
peps.python.org·21h·
Discuss: Hacker News
💬Interactive REPLs
Callbacks in C++ Using Template Functors – Rich Hickey (1994)
tutok.sk·14h·
Discuss: Hacker News
🌉Cross-Platform FFI
Understanding Linux Kernel Namespaces: The Magic Behind Containers
github.com·14h·
Discuss: DEV
🐚Shell Languages
A Primer on Memory Consistency and Cache Coherence, Second Edition
link.springer.com·14h·
Discuss: r/programming
🧠Memory Models
Google Chrome RCE (No Sandbox) via CanonicalEquality:EqualValueType()
ssd-disclosure.com·13h·
Discuss: Hacker News
🛡️Stack Safety
Creating a CLI Tool with Node.js
npmjs.com·7h·
Discuss: DEV
Incremental Parsing
Scaling AI-Assisted Development: How Scaffolding Solved My Monorepo Chaos
dev.to·8h·
Discuss: DEV
📦Monorepos
The Inverse Matrix problem
talesfrom.dev·8h
🚂Error Propagation
std::ranges may not deliver the performance that you expect
lemire.me·10h·
Discuss: Hacker News
🏃Escape Analysis
Souvenir
deprogrammaticaipsum.com·5h
🔗Weak References
Three important things to get right for successful AI Coding
kau.sh·15h
🎭Program Synthesis